We present a proof of the equivalence between two deductive systems for constructive necessity, namely an axiomatic characterisation inspired by Hakli and Negri's system of derivations from assumptions for modal logic , a Hilbert-style formalism designed to ensure the validity of the deduction theorem, and the judgmental reconstruction given by Pfenning and Davies by means of a natural deduction approach that makes a distinction between valid and true formulae, constructively. Both systems and the proof of their equivalence are formally verified (...) using the state-of-the-art proof assistant Coq. The proof approach taken throughout the paper unveils the use of some alternative proof methods that allow for a smooth transition from the high-level mathematical proofs to their mechanised counterparts. (shrink)

Equational reasoning arises in many areas of mathematics and computer science. It is a cornerstone of algebraic reasoning and results essential in tasks of specification and verification in functional programming, where a program is mainly a set of equations. The usual manipulation of identities while conducting informal proofs obviates many intermediate steps that are neccesary while developing them using a formal system, such as the equationally complete Birkhoff calculus ${\mathcal{B}}$. This deductive system does not fit in the common manner of (...) doing mathematical proofs, and it is not compatible with the mechanisms of proof assistants. The aim of this work is to provide a deductive system ${\mathcal{B}}^{\textrm{GOAL}}$ for equality, equivalent to ${\mathcal{B}}$ but suitable for constructing equational proofs in a backward fashion. This feature makes it adequate for interactive proof-search in the approach of proof assistants. This will be achieved by turning ${\mathcal{B}}^{\textrm{GOAL}}$ into a transition system of formal tactics in the style of Edinburgh LCF, such transformation allows us to give a direct formal definition of backward proof in equational logic. (shrink)

In this paper, we analyse the most important documents establishing the criteria for the treatment and exclusion of COVID-19 patients, especially in regard to the giving of respiratory support, in Italy and Spain. These documents reflect a tension that stems from limited healthcare resources which are insufficient to save lives that, under normal conditions, could have been saved, or at least could have received the best possible treatment. First, we analyse the healthcare systems of these two countries before the spread (...) of the virus, both of which have seen decreases in the number of intensive care beds and have been marked by financial cuts during the last ten years. It is a fact that a greater number of people, especially those over 70 years of age, have been left without respiratory support treatment, and therefore, there have been a greater number of deaths. It is also a fact that there has been a higher infection rate among healthcare professionals due to the delay in the management of protective measures and the inability to provide adequate care for those in nursing homes, as recognised by WHO. In the context of this health emergency, healthcare professionals have suffered a real ‘moral distress’ because, knowing first-hand the causes of the limitation of resources, they have had to put triage protocols into practice. Finally, we set forth a series of concrete ethical proposals with which to face the successive waves of COVID-19 infection, as well as other future pandemics. (shrink)

The two authors of this paper have diametrically opposed views of the prevalence and strength of adaptation in nature. Hendry believes that adaptation can be seen almost everywhere and that evidence for it is overwhelming and ubiquitous. Gonzalez believes that adaptation is uncommon and that evidence for it is ambiguous at best. Neither author is certifiable to the knowledge of the other, leaving each to wonder where the other has his head buried. Extensive argument has revealed that each author thinks (...) his own view is amply supported by both theory and empirical evidence. Further reflection has revealed that the differences in opinion may start with the different disciplines in which we work: evolutionary ecology for Hendry and community ecology for Gonzalez. In the present paper, we each present devastating evidence supporting our own position and thus refuting that of the other. We then identify the critical differences that led to such opposing views. We close by combining our two perspectives into a common framework based on the adaptive landscape, and thereby suggest means by which to assess the prevalence and strength of adaptation. (shrink)

Introduction: Resilience is a multidimensional and dynamic construct associated with positive growth and the capacity to transform stressful and negative factors into opportunities of personal development and self-improvement when faced with difficult experiences. The resilience process of each individual integrates multiple analysis levels, which range from genetic-environmental interactions to a complex process of adaptation between the individual and his/her family, friends, co-workers, society, and culture.Objective: To determine whether resilience improves in students of occupational therapy when exposed for the first time (...) to practice placement education.Methodology: Quasi-experimental, prospective, observational, multi-center study with a sample composed of students from the Degree of Occupational Therapy of the public universities of Málaga and Castilla-La Mancha. Two weeks prior to the beginning of the practice education period, the participants completed a questionnaire that included sociodemographic data and the area of their internships. They were also given the Spanish version of the Connor-Davidson's resilience scale. All these instruments were also completed 1 week after the end of the clinical practice.Results: There were statistically significant differences between the variables that make up resilience and the different internship areas. On the other hand, there was a significant improvement of global resilience after the clinical practice period, in both women and men, when the internship area was not considered.Conclusions: The results show that resilient students are more optimistic and work to improve a situation beyond doing simply what is expected of them, knowing how to control their feelings. This is beneficial for students in practice education, since, during these, they face difficult situations that require a resilient pattern, which helps reduce stress and the burnout syndrome. (shrink)

In this international and interdisciplinary collection of critical essays, distinguished contributors examine a crucial premise of traditional readings of Plato's dialogues: that Plato's own doctrines and arguments can be read off the statements made in the dialogues by Socrates and other leading characters. The authors argue in general and with reference to specific dialogues, that no character should be taken to be Plato's mouthpiece. This is essential reading for students and scholars of Plato.

Este trabajo muestra los resultados de una investigación realizada en ESIC UNIVERSITY, consistente en la medición del impacto empresarial que puede tener la robótica. El estudio analiza las opiniones de los alumnos tras visitar y experimentar en un espacio dotado de robots y humanoides, denominado Aula Tech. Se realizó durante 2018 y 2021. El estudio fue cuantitativo. La muestra la compusieron 284 individuos, con paridad de género (140 mujeres y 139 hombres). Los resultados muestran el total desconocimiento de la robótica (...) en la empresa y el temor a la convivencia social. (shrink)

The present work is an attempt to show how experience, as a fundamental moment of the phenomenological method, allows for the recuperation of the linkage between the subject and the world that modern idealism had questioned. It is pointed out as well, that, in Husserl's philosophy as in Hegel's, this very experience has a load, perhaps an excessive one, of emotionality in one case, and of intellective activity in the other, but both separated from each other. This disengagement of the (...) two instances that integrate the cognitive experiential processes - affection and intellection - prevents the definite step towards the linkage between ethics and ontology. Finally, we show how, in Karol Wojtyla's philosophy, it is possible to overcome this separation, from the recovering of the moment of self-experience, and thus, it is possible to raise again the issue about the relation between ethics and ontology.En el presente trabajo se tratará de mostrar de qué modo la experiencia como momento fundamental del método fenomenológico permite recuperar el vínculo entre sujeto y mundo que el idealismo moderno puso en cuestión. Se señala también que, tanto en la filosofía de Husserl como en la de Scheler, esta misma experiencia tiene una carga, tal vez excesiva, en un caso de emocionalidad y en el otro de actividad intelectiva, pero ambas desvinculadas. Esta desvinculación de los dos momentos que integran el proceso cognoscitivo y experiencial -afección e intelección- es lo que impide el paso definitivo hacia la vinculación entre ética y ontología. Finalmente mostramos cómo en la filosofía de Karol Wojtyla es posible superar esta separación desde la recuperación del momento de experiencia de sí mismo, y, así, es posible volver a plantear la relación entre ontología y ética. (shrink)

In this work I reflect, from the concepts of coloniality of power (Quijano 2007a) and coloniality of gender (Lugones 2008), key elements to sentipensar,2 the struggles of Indigenous women on the continent in defense of life in their territories. It is not new for Indigenous women to mobilize together with their peoples to defend the land-territory-life, but in recent years their participation has become more visible to the extent that the threat to the territories also involves fundamental elements for the (...) reproduction of life that previously had not been of interest to capital. In this context my interest is focused on the ways in which the women of the territories create and resist from other ontologies in defense of life.Thinking the reality of our countries from the coloniality of power and the coloniality of gender implies, among other things, taking as a baseline the existence of structures of domination, exploitation, and extermination that have been reproduced over the last five centuries in Abya Yala, and that have led to the imposition of a world classification that denies the existence of other worlds that inhabit these territories, and that have been persecuted, massacred, made invisible, but that exist and re-exist (Albán 2013). (shrink)

The objective of this research is to identify the main weaknesses of corporate social responsibility in the textile sector and to propose procedures that help to overcome them. We start from the assumption that the asymmetries and necessary relationships generated to manufacture textile garments in the international context are not attributable to a single circumstance. Equally, it is reasonable to assume that the solutions to these asymmetries are affected by the identification and transversality of such circumstances. The present research was (...) carried out by gathering the opinions and solutions of participants in a Delphi analysis to uncover the critical points and vulnerabilities of the sector. The weaknesses of the sector were then identified following the analysis of responses from two expert panels to two multidisciplinary questionnaires, the questions for which were developed from the stated hypotheses.El objetivo de esta investigación es detectar las principales debilidades del sector textil en relación con la responsabilidad social empresarial y proponer medidas que contribuyan a superarlas. Partimos de que las asimetrías y relaciones generadas necesarias para fabricar prendas textiles en el contexto internacional no son imputables a una sola circunstancia. Es igualmente entendible que sus soluciones pasen por la identificación y la transversalidad de dichas circunstancias. En la presente investigación, lo llevamos a cabo mediante la de la recolección de opiniones y soluciones expresadas por diferentes participantes, y a través de un análisis Delphi, para conocer cuáles son los puntos críticos y vulnerabilidades del sector, y la posterior identificación de sus debilidades tras el análisis de las respuestas de dos paneles de expertos a dos cuestionarios multidisciplinares con preguntas desarrolladas sobre las hipótesis planteadas. (shrink)

This research aims to describe how practicing lawyers perceive ‘plain writing’ in the legal field and to conceptualize this notion through the discourse analysis of these specialists. To do so, a qualitative research framed in the interpretive paradigm has been developed. Specifically, 18 practicing lawyers, from different countries and with different specializations in the practicing of Law, were surveyed. After analyzing the discourse of the interviewed lawyers, eight macro categories accounting for plain language both generally and particularly were identified. The (...) audience was identified as a key element in the production of legal texts which facilitate justice to citizens. Based on our analysis, we conclude with a definition of plain writing. (shrink)

Andrés de Guevara y Basoazábal (1748-1801), jesuita novohispano guanajuatense, escribió las Institutionum elementarium philosophiae, donde su autor ofrece un currículo deseable para la juventud mexicana que incluya la ciencia moderna empírica, la política virtuosa y la sabiduría humana. A través de una traducción comparativa del latín al español del proemio de la citada obra, este artículo pretende: 1) contextualizar al autor novohispano, 2) mostrar la recepción de la ciencia moderna desde los elementos aristotélicos de los que Guevara dispuso, y 3) (...) mostrar que la modernidad y la tradición aristotélica se enriquecieron mutuamente; y lo que debía de reformarse era la escolástica anquilosada. Se concluye que a través del proemio De vicissitundinibus de Guevara se evidencia la recepción mexicana de la modernidad emanada de una mentalidad aristotélica. (shrink)

Partiendo de que las empresas obtienen mejores resultados si su equipo profesional está integrado y se considera valorado por sus superiores y por el cliente final, este trabajo analiza el valor que puede tener la Gestión de las Emociones en la Gestión del Conflicto Empresarial. Para ello se realiza una profunda revisión bibliográfica sobre el concepto y su aplicación y se muestran los resultados obtenidos de una investigación cuantitativa realizada en el Sector Hotelero. Los resultados demuestran la relevancia de las (...) Emociones en cualquiera de las relaciones de la empresa, con el cliente interno y con el externo. (shrink)

En esta investigación sometemos, a 640 alumnos/as de cuarto a sexto de Primaria, a prueba un modelo relacional entre seis habilidades socio – emocionales, la percepción y el resultado académico en Lengua Castellana y Literatura. Los resultados obtenidos en el análisis nos muestran significatividad entre la percepción y el resultado real obtenido en Lengua y las habilidades de toma de conciencia y control emocional, las habilidades socioemocionales, la cooperación y ayuda durante el trabajo, las habilidades de vida y bienestar subjetiva (...) como mejora de la calidad de vida y como poder motivacional en el rendimiento académico en Lengua Castellana y Literatura. (shrink)

Educational accompaniment, an expanded view from personalist anthropology In today's educational landscape, the digital transformation is a methodological, pedagogical and, undoubtedly, relational challenge. In this environment, there are proposals that advocate accompaniment as a means of facing this challenge. Moreover, we could say that accompanying is fashionable, with the risk that this implies of limiting and even sweetening its true meaning and scope. To avoid this, we propose to look at the nature of the human being and rediscover what he (...) really needs in his process of personal growth. This article presents an analysis of educational accompaniment, revealing its internal dynamism, making explicit the essential conditions that make it possible and proposing some pedagogical applications that shed light on the mission of accompaniment. From this personalist and profound point of view, accompaniment is proposed as a response to the anthropological need of being human and is configured as a path of encounters oriented towards the fullness of the person. (shrink)

Este artículo se centra en la música en el entorno Fluxus entendida como creación artística de aproximación a la conquista del espacio y de superación de los límites sonoros, en aras a potenciar su expresión a través de la acción del intérprete y la utilización de artefactos. El resultado de todo ello fue un repertorio de imágenes de una gran potencia connotativa en el panorama artístico de los años sesenta.

Photography is clearly not a mirror of daily life: that images are constructions is especially obvious in 19th-century studio portrait photography. This book explores how indigenous Iranian photographers constructed their own realities in contrast to howforeign photographers constructed Iranians' realities. Through an in-depth comparative visual analysis of 19th-century Iranian portrait photography and Persian painting, the author arrives at the insight that aesthetic preferences correlate with socio-cultural habits and practices in writing, reading and looking. Subsequently, she advocates for a place in (...) a global history of photography for those unknown, local photo histories and for the indigenous photographers who produced them. (shrink)

El presente monográfico recoge trabajos en torno al tema que da título al mismo: “Teorías de la justicia y tribunales internacionales de derechos humanos”. Dos son las consideraciones que, de entrada, deben hacerse sobre el mismo.

Should CSR be approached only on a voluntary basis or should it be complemented with a compulsory regulatory framework? What type of government intervention is more effective in fostering CSR among companies? This paper is an attempt to answer these questions, reviewing the debate between proponents of the voluntary case and the obligatory case for CSR, and critically analysing current international government-led initiatives to foster CSR among companies, and national government-led initiatives in the EU area. Finally, the paper focuses on (...) the Spanish case, as an example of the failure of an exclusively voluntary approach. Despite the rapid uprise of CSR, Spain is still far behind late in CSR promotion strategies. Most action has been undertaken by companies themselves with no common guidelines, governmental support, or independent verification. The lack of a regulatory framework for CSR or ethical investment issues and the virtual absence of other indirect incentives, explains the misbalance between private, public and Third Sector initiatives. Based on the Spanish context which is quite similar to other non-OECD countries, the authors call for a more proactive government position in CSR related issues. The conclusions of the paper detail the features of this regulatory framework and other policies to promote CSR in Spain as well as in other OECD countries. (shrink)

Childhood obesity, linked to a sedentary lifestyle and an unbalanced diet, is one of the main problems in today’s Western societies. In this sense, the aim of the study was to analyze students’ perceived satisfaction in physical education classes with learning strategies and engagement in learning and critical thinking as determinants of healthy lifestyle habits. The study involved 2,439 high school students aged 12–18 years (M= 14.66,SD= 1.78). Structural equation modeling was conducted to analyze the predictive relationships between the study (...) variables. The results showed that teaching, teaching mastery, and cognitive development are precursors to deep thinking on the part of students, indicators of the adoption of healthy lifestyle habits. These results reflect the importance of the methodology adopted by the teacher in order to positively influence the students’ habits. (shrink)

The aim of the research was to know the perception of high-level volleyball players of the changes produced in the efficiency of the training process, after a match analysis intervention program based on the Constraint-led Approach. The sample consisted of 11 players from a women's volleyball team. The protocol of the intervention program consisted of providing objective, contextualised and systematic information to the coach that would allow understanding the different real game contexts. We used semi-structured interviews to assess players' perceptions. (...) The athletes perceived changes in training, both in their preparation and development, specifically in greater involvement and organisation in preparing the training; in an increase in the specificity and suitability of training tasks according to individual needs; in the representativeness of the restrictions of the game; in a more tactical approach; in the variability of task and in the accountability to achieve the objective proposed. In addition, in the preparation and development for competition, the players detected more game planning; a deeper analysis of the opponents; an objective selection of the most relevant data, an increase in the depth of match analysis and the inclusion of the weekly meeting with the use of video compared to the previous season. These results expose the benefits of coaches incorporate programmes to obtain objective information about the game in their training process. (shrink)

Purpose driven companies have developed their corporate culture with a commitment to stakeholders, Sustainable Development Goals, and social responsibility, prioritizing the management of organizational intangibles over capital. The overall objective of this research is to gain knowledge regarding the attention and emotional intensity registered by young Spanish university students when visualizing corporate purpose versus corporate visual identity, as well as the image of the Chairman of the main Spanish companies quoted on the IBEX 35. The techniques of eye tracking and (...) galvanic skin response have been used with 31 Spanish university students. The results suggest that brands with the highest brand equity in the Interbrand ranking are also the ones that receive the highest levels of attention and emotional arousal, and that a well-formulated corporate purpose is not enough to satisfy the public if company credibility is low due to previous perceptions of an organization. (shrink)